idempotent of irreducible code

不归复码之幂等